<html>
<head><meta charset="utf-8"><title>discussing Polonius design · t-compiler/wg-polonius · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/index.html">t-compiler/wg-polonius</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html">discussing Polonius design</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="158617383"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158617383" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158617383">(Feb 15 2019 at 14:25)</a>:</h4>
<p>So we had planned to do a Polonius design walk through (cc <span class="user-mention" data-user-id="116113">@lqd</span>, but I forget who else) -- I'd like to schedule that for next week.</p>



<a name="158617514"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158617514" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158617514">(Feb 15 2019 at 14:27)</a>:</h4>
<p>if the timing works out I'd also be interested</p>



<a name="158617795"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158617795" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aaron Weiss <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158617795">(Feb 15 2019 at 14:31)</a>:</h4>
<p>Next week should work for me, depending on time.</p>



<a name="158618835"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158618835" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158618835">(Feb 15 2019 at 14:45)</a>:</h4>
<p>I should create a WG-polonius alias, shouldn't I</p>



<a name="158618944"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158618944" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> csmoe <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158618944">(Feb 15 2019 at 14:47)</a>:</h4>
<p>+1</p>



<a name="158619612"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158619612" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Cem Karan <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158619612">(Feb 15 2019 at 14:55)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> Is this walk through intended to be like the <a href="https://internals.rust-lang.org/t/compiler-lecture-series/9227" target="_blank" title="https://internals.rust-lang.org/t/compiler-lecture-series/9227">compiler lecture series</a> you have going?</p>



<a name="158622264"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158622264" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158622264">(Feb 15 2019 at 15:29)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> <span aria-label="+1" class="emoji emoji-1f44d" role="img" title="+1">:+1:</span></p>



<a name="158625492"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158625492" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158625492">(Feb 15 2019 at 16:09)</a>:</h4>
<p><span class="user-mention" data-user-id="202560">@Cem Karan</span> "like" in what sense?</p>



<a name="158625533"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158625533" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158625533">(Feb 15 2019 at 16:09)</a>:</h4>
<p>I was probably shooting for something like the Salsa video where I discussed with <span class="user-mention" data-user-id="132906">@Jonathan Turner</span></p>



<a name="158625540"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158625540" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158625540">(Feb 15 2019 at 16:10)</a>:</h4>
<p>I'm not sure yet whether "all" these things are part of compiler lecture series or if that should be a subset, aiming at a wider audience</p>



<a name="158625617"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158625617" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158625617">(Feb 15 2019 at 16:10)</a>:</h4>
<p>cc <span class="user-mention" data-user-id="204115">@Albin Stjerna</span> also</p>



<a name="158625638"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158625638" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158625638">(Feb 15 2019 at 16:10)</a>:</h4>
<p>Anyway, I'm thinking I'll create a doodle poll for Tuesday to try and find a good time?</p>



<a name="158625806"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158625806" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Cem Karan <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158625806">(Feb 15 2019 at 16:12)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span>  In the sense of being for a wider audience/people who are not familiar with Polonius at all.  Basically, I'm wondering if this the undergraduate intro, or the PhD student "intro"...</p>



<a name="158626485"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158626485" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158626485">(Feb 15 2019 at 16:20)</a>:</h4>
<p>OK -- here is a <a href="https://doodle.com/poll/a22twiibavhrwct7" target="_blank" title="https://doodle.com/poll/a22twiibavhrwct7">doodle poll</a>. I just put the whole day though I think that I personally may only be available in (my) afternoon)</p>



<a name="158626506"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158626506" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158626506">(Feb 15 2019 at 16:21)</a>:</h4>
<p>so really there may be far fewer actionable choices ;)</p>



<a name="158626528"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158626528" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158626528">(Feb 15 2019 at 16:21)</a>:</h4>
<p><span class="user-mention" data-user-id="202560">@Cem Karan</span> I think the answer is that I plan to target this at people familiar-ish with Rust and the borrowing rules, but not necessarily PhD students :)</p>



<a name="158626543"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158626543" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158626543">(Feb 15 2019 at 16:21)</a>:</h4>
<p>So maybe somewhere in between</p>



<a name="158628314"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158628314" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Cem Karan <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158628314">(Feb 15 2019 at 16:43)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> OK, in that case, I'll take as much as I can from the conversation.  Still desperately trying to learn everything I can about rust! :)</p>



<a name="158629733"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158629733" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158629733">(Feb 15 2019 at 17:01)</a>:</h4>
<p><span class="user-mention" data-user-id="202560">@Cem Karan</span> Great! I'd definitely like to have people from a variety of skill levels, to help ensure the material is comprehensible.</p>



<a name="158907274"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158907274" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158907274">(Feb 19 2019 at 18:46)</a>:</h4>
<p>Hey all! So I'm planning to do this call today, as scheduled.</p>



<a name="158907317"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158907317" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158907317">(Feb 19 2019 at 18:47)</a>:</h4>
<p>I've got a paper document that kind of contains my <a href="https://paper.dropbox.com/doc/Polonius-Development--AX4Z3ew0lVBruGshGhZP8VS3Ag-VPOJ8vR78rPW47THSWbxK" target="_blank" title="https://paper.dropbox.com/doc/Polonius-Development--AX4Z3ew0lVBruGshGhZP8VS3Ag-VPOJ8vR78rPW47THSWbxK">"lesson plan"</a>, though as part of the call I expect to create a fresh doc and kind of walk through it bit by bit.</p>



<a name="158907332"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158907332" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158907332">(Feb 19 2019 at 18:47)</a>:</h4>
<p>My hope is that y'all will ask me lots of questions to make up for my lack of preparation time :)</p>



<a name="158907466"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158907466" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158907466">(Feb 19 2019 at 18:48)</a>:</h4>
<p>cc <span class="user-mention" data-user-id="202560">@Cem Karan</span> <span class="user-mention" data-user-id="127262">@Aaron Weiss</span> <span class="user-mention" data-user-id="116266">@Santiago Pastorino</span> <span class="user-mention" data-user-id="204115">@Albin Stjerna</span> <span class="user-mention" data-user-id="116113">@lqd</span> <span class="user-mention" data-user-id="116118">@Matthew Jasper</span> <span class="user-mention" data-user-id="116108">@Keith Yeung</span> and not sure who else =)</p>



<a name="158907500"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158907500" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158907500">(Feb 19 2019 at 18:48)</a>:</h4>
<p>Recorded call where we interactively explore some of the key examples that inform the Polonius design.</p>
<p>Join Zoom Meeting<br>
<a href="https://zoom.us/j/991477503" target="_blank" title="https://zoom.us/j/991477503">https://zoom.us/j/991477503</a></p>
<p>One tap mobile<br>
+19294362866,,991477503# US<br>
+16699006833,,991477503# US (San Jose)</p>
<p>Dial by your location<br>
        +1 929 436 2866 US<br>
        +1 669 900 6833 US (San Jose)<br>
Meeting ID: 991 477 503<br>
Find your local number: <a href="https://zoom.us/u/aUzQdVyqy" target="_blank" title="https://zoom.us/u/aUzQdVyqy">https://zoom.us/u/aUzQdVyqy</a></p>



<a name="158907522"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158907522" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158907522">(Feb 19 2019 at 18:48)</a>:</h4>
<p>I am sort of expecting we may have to do another call to get to some of the more complex stuff</p>



<a name="158907588"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158907588" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Cem Karan <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158907588">(Feb 19 2019 at 18:49)</a>:</h4>
<p>Sounds good to me! I may cut in and out, my zoom client is acting flaky again.</p>



<a name="158907601"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158907601" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158907601">(Feb 19 2019 at 18:49)</a>:</h4>
<p><a href="https://paper.dropbox.com/doc/Polonius-Overview-2019.02.19--AX7qHsencB9DdXtmBWr2p_Q2Ag-75B1Db8USYeIkQXQZmpVm" target="_blank" title="https://paper.dropbox.com/doc/Polonius-Overview-2019.02.19--AX7qHsencB9DdXtmBWr2p_Q2Ag-75B1Db8USYeIkQXQZmpVm">Dropbox paper document that we'll create during the call is here.</a></p>



<a name="158907749"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158907749" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158907749">(Feb 19 2019 at 18:51)</a>:</h4>
<p>cc <span class="user-mention" data-user-id="201338">@Zarenor</span></p>



<a name="158907937"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158907937" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Zarenor <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158907937">(Feb 19 2019 at 18:53)</a>:</h4>
<p>Thanks for pinging me. I'll definitely be listening in - I'll try to contribute a question or two, but my schedule has gotten a little busier than I'd like.</p>



<a name="158908235"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158908235" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aaron Weiss <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158908235">(Feb 19 2019 at 18:56)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> is the meeting actually open already? It's just telling me "meeting has not started."</p>



<a name="158908631"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158908631" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158908631">(Feb 19 2019 at 19:00)</a>:</h4>
<blockquote>
<p>Sounds good to me! I may cut in and out, my zoom client is acting flaky again.</p>
</blockquote>
<p>I couldn't even install it on my machine; the installer crashed, so I'm using the Web client</p>



<a name="158908707"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158908707" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Cem Karan <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158908707">(Feb 19 2019 at 19:01)</a>:</h4>
<p><span class="user-mention" data-user-id="204115">@Albin Stjerna</span> The only way I've ever gotten zoom to work is in a virtual machine, and even then I have to phone in to get audio.  If you can spin up a virtual box image fast enough, it might work for you...</p>



<a name="158908830"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158908830" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158908830">(Feb 19 2019 at 19:02)</a>:</h4>
<p><span class="user-mention" data-user-id="127262">@Aaron Weiss</span> should have started now</p>



<a name="158908837"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158908837" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158908837">(Feb 19 2019 at 19:02)</a>:</h4>
<p>can you all hear me?</p>



<a name="158908841"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158908841" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158908841">(Feb 19 2019 at 19:02)</a>:</h4>
<p>I don't hear anyone else :)</p>



<a name="158908864"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158908864" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158908864">(Feb 19 2019 at 19:03)</a>:</h4>
<p>you might have to enable computer audio</p>



<a name="158908915"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158908915" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aaron Weiss <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158908915">(Feb 19 2019 at 19:03)</a>:</h4>
<p>We can hear each other, including you.</p>



<a name="158909065"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158909065" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158909065">(Feb 19 2019 at 19:05)</a>:</h4>
<blockquote>
<p>can you all hear me?</p>
</blockquote>
<p>I don't hear /anything/, but I think that's a problem on my end.</p>



<a name="158909283"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158909283" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158909283">(Feb 19 2019 at 19:07)</a>:</h4>
<p><span class="user-mention" data-user-id="204115">@Albin Stjerna</span> any lukc?</p>



<a name="158909315"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158909315" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158909315">(Feb 19 2019 at 19:07)</a>:</h4>
<blockquote>
<p><span class="user-mention silent" data-user-id="204115">@Albin Stjerna</span> any lukc?</p>
</blockquote>
<p>Nope, everything else works fine audo-wise, but not Zoom, in any browser.</p>



<a name="158909582"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158909582" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158909582">(Feb 19 2019 at 19:10)</a>:</h4>
<p>Ok, now I have stuttering and weird audio and I guess that's good enough for now</p>



<a name="158913906"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158913906" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158913906">(Feb 19 2019 at 19:59)</a>:</h4>
<p><span class="user-mention" data-user-id="204115">@Albin Stjerna</span> seems like you got it working</p>



<a name="158913914"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158913914" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158913914">(Feb 19 2019 at 19:59)</a>:</h4>
<p>I hope?</p>



<a name="158913920"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158913920" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158913920">(Feb 19 2019 at 19:59)</a>:</h4>
<p>I'll post that video at some point in near future</p>



<a name="158913936"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158913936" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158913936">(Feb 19 2019 at 20:00)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> Yep! I managed to get it installed via Homebrew, and that one worked great</p>



<a name="158913994"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158913994" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158913994">(Feb 19 2019 at 20:00)</a>:</h4>
<p>thanks for the great presentation :)</p>



<a name="158914004"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158914004" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158914004">(Feb 19 2019 at 20:00)</a>:</h4>
<p>I would certainly welcome feedback on points that were confusing (valid answers include "everything")</p>



<a name="158914017"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158914017" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158914017">(Feb 19 2019 at 20:00)</a>:</h4>
<p>Yes, thanks!</p>



<a name="158914037"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158914037" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158914037">(Feb 19 2019 at 20:00)</a>:</h4>
<p>Aaron's question about loans vs regions was an interesting point</p>



<a name="158914043"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158914043" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158914043">(Feb 19 2019 at 20:00)</a>:</h4>
<p>(Also, question for y'all -- could you see the notifications that were popping up on my screen)</p>



<a name="158914060"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158914060" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158914060">(Feb 19 2019 at 20:00)</a>:</h4>
<p>hopefully not</p>



<a name="158914063"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158914063" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158914063">(Feb 19 2019 at 20:00)</a>:</h4>
<p>yeah we could</p>



<a name="158914067"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158914067" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158914067">(Feb 19 2019 at 20:01)</a>:</h4>
<p>oh .. dear</p>



<a name="158914069"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158914069" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158914069">(Feb 19 2019 at 20:01)</a>:</h4>
<p>Yes, at least near the end</p>



<a name="158914082"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158914082" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158914082">(Feb 19 2019 at 20:01)</a>:</h4>
<p>ok, annoying</p>



<a name="158914106"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158914106" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158914106">(Feb 19 2019 at 20:01)</a>:</h4>
<p>I wasn't sharing the whole screen, but I guess those were somehow considered part of the video</p>



<a name="158914115"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158914115" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158914115">(Feb 19 2019 at 20:01)</a>:</h4>
<p>I'll try to edit them out :)</p>



<a name="158914130"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158914130" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158914130">(Feb 19 2019 at 20:01)</a>:</h4>
<p>probably some creative use of cropping would be enough</p>



<a name="158914137"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158914137" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158914137">(Feb 19 2019 at 20:01)</a>:</h4>
<p>yeah</p>



<a name="158914140"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158914140" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158914140">(Feb 19 2019 at 20:01)</a>:</h4>
<p>mostly I want to be sure not to miss any</p>



<a name="158914149"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158914149" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158914149">(Feb 19 2019 at 20:02)</a>:</h4>
<p>apparently I did not disable notifications correctly</p>



<a name="158914241"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158914241" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158914241">(Feb 19 2019 at 20:02)</a>:</h4>
<p>ok, apparently "do not disturb" is called "focus assist" on Windows</p>



<a name="158914253"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158914253" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158914253">(Feb 19 2019 at 20:03)</a>:</h4>
<p>oh someone mentioned it in zoom chat</p>



<a name="158914302"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158914302" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158914302">(Feb 19 2019 at 20:03)</a>:</h4>
<p>Also, sorry for yawning so much near the end, it's because I've had a long day and it's night here, not because I was bored :)</p>



<a name="158914311"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158914311" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158914311">(Feb 19 2019 at 20:03)</a>:</h4>
<p>(if anyone was watching my video feed)</p>



<a name="158914604"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158914604" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158914604">(Feb 19 2019 at 20:07)</a>:</h4>
<blockquote>
<p>oh someone mentioned it in zoom chat</p>
</blockquote>
<p>oh well, I missed that</p>



<a name="158914740"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158914740" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158914740">(Feb 19 2019 at 20:08)</a>:</h4>
<p>now we'll know the lingo</p>



<a name="158914757"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158914757" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158914757">(Feb 19 2019 at 20:08)</a>:</h4>
<p>Yes, and I know that I have to un-learn some constraint programming lingo using the same overloaded terms</p>



<a name="158914882"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158914882" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158914882">(Feb 19 2019 at 20:10)</a>:</h4>
<p>I'm still a bit fuzzy on where the project is currently, though. The repo you showed us is the prototype, but what is missing from it?</p>



<a name="158914902"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158914902" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158914902">(Feb 19 2019 at 20:10)</a>:</h4>
<p><span class="user-mention" data-user-id="204115">@Albin Stjerna</span> good question, good topic to dig into more for next time :)</p>



<a name="158914915"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158914915" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158914915">(Feb 19 2019 at 20:11)</a>:</h4>
<p>the prototype is "complete" in some sense</p>



<a name="158914923"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158914923" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158914923">(Feb 19 2019 at 20:11)</a>:</h4>
<p>but I want to move more of the logic into it</p>



<a name="158914931"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158914931" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158914931">(Feb 19 2019 at 20:11)</a>:</h4>
<p>right now it covers only the "core borrow checker" errors</p>



<a name="158914940"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158914940" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158914940">(Feb 19 2019 at 20:11)</a>:</h4>
<p>but there are other sorts of errors it could be detecting</p>



<a name="158915060"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158915060" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158915060">(Feb 19 2019 at 20:12)</a>:</h4>
<p>I'm not 100% sure which is the priority of things to attack, in my mind</p>



<a name="158915075"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158915075" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158915075">(Feb 19 2019 at 20:12)</a>:</h4>
<p>Ah, ok, and that would require some more prototyping I guess</p>



<a name="158915088"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158915088" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158915088">(Feb 19 2019 at 20:12)</a>:</h4>
<p>i.e., I think there is good work to be done extending the current system to cover more stuff, but also I'd like to be validating the performance against real-world test cases and decidiing if we're going to need to do clever stuff</p>



<a name="158915092"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158915092" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158915092">(Feb 19 2019 at 20:12)</a>:</h4>
<p>the most recent of Niko's posts about Polonius we haven't fully implemented yet (one is partially done, and one not at all)</p>



<a name="158915143"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158915143" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158915143">(Feb 19 2019 at 20:13)</a>:</h4>
<p>Ok so the next steps would be both prototyping and benchmarking then I guess, including benchmark selection?</p>



<a name="158915280"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158915280" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158915280">(Feb 19 2019 at 20:15)</a>:</h4>
<p>"next" being the most important word ? :) those steps are needed for sure</p>



<a name="158915348"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158915348" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158915348">(Feb 19 2019 at 20:16)</a>:</h4>
<p>(the order/priorities are still unclear as of now I think)</p>



<a name="158915393"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158915393" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158915393">(Feb 19 2019 at 20:17)</a>:</h4>
<p>benchmarking to some extent we have</p>



<a name="158915427"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158915427" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158915427">(Feb 19 2019 at 20:17)</a>:</h4>
<p><span class="user-mention" data-user-id="204115">@Albin Stjerna</span> btw I know you are traveling for a bit</p>



<a name="158915433"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158915433" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158915433">(Feb 19 2019 at 20:17)</a>:</h4>
<p>Ah, ok, that's the things at <a href="http://perf.rust-lang.org" target="_blank" title="http://perf.rust-lang.org">perf.rust-lang.org</a>?</p>



<a name="158915434"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158915434" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158915434">(Feb 19 2019 at 20:17)</a>:</h4>
<p>when do you expect to be back on line?</p>



<a name="158915577"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158915577" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158915577">(Feb 19 2019 at 20:19)</a>:</h4>
<p>yeah perf.rlo is for rustc benchmarking (with some NLL specific info, but not polonius) and we can use that to benchmark specific builds for polonius as well; we also "track" it locally in the polonius repo itself, but mostly informally when doing PRs and such, at this moment</p>



<a name="158915580"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158915580" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158915580">(Feb 19 2019 at 20:19)</a>:</h4>
<p>same for datafrog</p>



<a name="158915588"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158915588" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158915588">(Feb 19 2019 at 20:19)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span>  Good question, I'm leaving tomorrow morning very early and probably have intermittent connectivity during my travel. I land Thursday around 9 am CEST, but I don't think I'll get anything done before Friday.</p>



<a name="158915802"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158915802" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158915802">(Feb 19 2019 at 20:22)</a>:</h4>
<p><span class="user-mention" data-user-id="116113">@lqd</span> Ok, and is the idea to use datafrog in the final version as well, i.e. is the plan to optimise and improve it along with polonius?</p>



<a name="158915822"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158915822" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158915822">(Feb 19 2019 at 20:22)</a>:</h4>
<p>AFAICT it is the plan now</p>



<a name="158915957"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158915957" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158915957">(Feb 19 2019 at 20:24)</a>:</h4>
<p>contributors, Frank, etc have done so in the past for example (improving datafrog "for" polonius)</p>



<a name="158916022"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158916022" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158916022">(Feb 19 2019 at 20:25)</a>:</h4>
<p>but as you saw during the meeting, other datalog engines could be similarly used I assume</p>



<a name="158916090"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158916090" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158916090">(Feb 19 2019 at 20:26)</a>:</h4>
<p>probably because of performance reasons, which ties into your other benchmarkings points</p>



<a name="158916108"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158916108" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aaron Weiss <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158916108">(Feb 19 2019 at 20:26)</a>:</h4>
<blockquote>
<p>Aaron's question about loans vs regions was an interesting point</p>
</blockquote>
<p><span class="user-mention" data-user-id="116113">@lqd</span> glad to hear it since from my perspective, it was pretty specific (i.e. it's more-or-less "is there a reason you're doing something different than I'm doing that I haven't realized?") <span aria-label="sweat smile" class="emoji emoji-1f605" role="img" title="sweat smile">:sweat_smile:</span></p>



<a name="158916152"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158916152" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158916152">(Feb 19 2019 at 20:27)</a>:</h4>
<p>it <em>seems</em> fast for now, but we don't have many datapoints :)</p>



<a name="158916192"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158916192" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158916192">(Feb 19 2019 at 20:28)</a>:</h4>
<p><span class="user-mention" data-user-id="127262">@Aaron Weiss</span> it didn't come off as dismissive or anything I feel :)</p>



<a name="158916262"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158916262" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aaron Weiss <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158916262">(Feb 19 2019 at 20:28)</a>:</h4>
<p>I was more worried that Niko knew something I didn't know yet about why the current approach is <em>necessary</em>!</p>



<a name="158916274"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158916274" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158916274">(Feb 19 2019 at 20:28)</a>:</h4>
<p>oh</p>



<a name="158916291"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158916291" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158916291">(Feb 19 2019 at 20:29)</a>:</h4>
<p>I have some connections to constraint programming people, including the people at Monash I will be visiting, including some Prolog people, so maybe I can at least score some tricky benchmarks and/or smart data structures and algorithms</p>



<a name="158916321"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158916321" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158916321">(Feb 19 2019 at 20:29)</a>:</h4>
<p>But I know absolutely nothing about Datalog</p>



<a name="158916323"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158916323" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aaron Weiss <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158916323">(Feb 19 2019 at 20:29)</a>:</h4>
<p>It seems like the answer is that both ways can probably work though, which is good.</p>



<a name="158916399"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158916399" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158916399">(Feb 19 2019 at 20:30)</a>:</h4>
<p>I myself don't know/remember if it was indeed absolutely necessary, I was assuming it was related to live loans, and possibly higher order regions and the likes, maybe diagnostics were involved so that's why I thought it was interesting :)</p>



<a name="158916572"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158916572" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aaron Weiss <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158916572">(Feb 19 2019 at 20:33)</a>:</h4>
<p>The Oxide analogue I was thinking about is as follows: our borrow expressions are essentially <code>&amp;L0 x</code> which we give the type <code>&amp;{ L0 -&gt; x } T</code> and then we directly update these region collections as we type check.</p>



<a name="158916576"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158916576" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158916576">(Feb 19 2019 at 20:33)</a>:</h4>
<p>(and if indeed both ways do work, do they have different performance characteristics)</p>



<a name="158916680"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158916680" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aaron Weiss <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158916680">(Feb 19 2019 at 20:34)</a>:</h4>
<p>It's interesting because some of the stuff that I imagine required some thought for Polonius (e.g. not propagating facts from dead regions) sort of fall out "automatically" from the way we're doing things.</p>



<a name="158916715"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158916715" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158916715">(Feb 19 2019 at 20:35)</a>:</h4>
<p>yeah interesting</p>



<a name="158916720"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158916720" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aaron Weiss <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158916720">(Feb 19 2019 at 20:35)</a>:</h4>
<p>On the other hand, naively implementing the Oxide type system would be painfully slow because at every move, borrow, and assignment, you need to look at the whole context to prove that the use is safe.</p>



<a name="158916817"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158916817" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aaron Weiss <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158916817">(Feb 19 2019 at 20:36)</a>:</h4>
<p>So, what you'd want to actually do instead is some kind of caching of these facts, which seems to be equivalent to saying "do Polonius." <span aria-label="big smile" class="emoji emoji-1f604" role="img" title="big smile">:big_smile:</span></p>



<a name="158917194"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158917194" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158917194">(Feb 19 2019 at 20:41)</a>:</h4>
<p>propagating through the CFG is tough for some of the bigger ones (which we have benchmarks of) so having a more "specialized representation" is an interesting possibility, but until we know more of the different analyses to do in polonius, vs say rustc, including diagnostics, liveness, etc it's still a bit up in the air</p>



<a name="158928749"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158928749" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Keith Yeung <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158928749">(Feb 19 2019 at 23:12)</a>:</h4>
<p>was the meetup recorded? I wasn't able to make it</p>



<a name="158929314"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158929314" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158929314">(Feb 19 2019 at 23:20)</a>:</h4>
<p>yep but I have to edit/post the video</p>



<a name="158929333"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158929333" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158929333">(Feb 19 2019 at 23:20)</a>:</h4>
<p>will do so in next day or two</p>



<a name="158929344"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/discussing%20Polonius%20design/near/158929344" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/discussing.20Polonius.20design.html#158929344">(Feb 19 2019 at 23:20)</a>:</h4>
<p>I'm still working through my windows video pipeline :)</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>